Simon Peyton Jones - PDFSEARCH.IO - Document Search Engine

Simon Peyton Jones
Results: 55

#	Item
31	How to write a great research paper Simon Peyton Jones Microsoft Research, Cambridge Why Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-12-15 12:57:51 Materials Paper Paper art Papermaking Stationery Printing Visual arts Technology
32	Fun with type functions Oleg Kiselyov Simon Peyton Jones Chung-chieh Shan Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-03 07:13:24 Type theory Data types Functional programming Monad Generic programming Type class Type inference Type system Polymorphism Software engineering Computing Computer programming
33	A Tutorial on Parallel and Concurrent Programming in Haskell Lecture Notes from Advanced Functional Programming Summer School 2008(to appear) Simon Peyton Jones and Satnam Singh Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-05-11 09:28:51 Functional languages Haskell Parallel computing Data parallelism Pure Futures and promises Eval ALGOL 68 Thread Computing Software engineering Computer programming
34	Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-01-25 10:53:17 Concurrency control Thunk Thread Non-blocking algorithm Glasgow Haskell Compiler Monitor Haskell Evaluation strategy Futures and promises Computing Software engineering Computer programming
35	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
36	Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Software engineering Unification Type system Admissible rule Type inference Symbol Hindley–Milner Entailment Function Type theory Logic Mathematics
37	Generative Type Abstraction and Type-level Computation Dimitrios Vytiniotis Simon Peyton Jones Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Model theory Entailment Logic Metalogic Deduction
38	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
39	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
40	Datatype-Generic Programming in Haskell Andres Löh (thanks to José Pedro Magalhães, Simon Peyton Jones and many others) Skills Matter “In the Brain” – 9 April 2013 Copyright © 2013 Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-04-10 05:28:11 Type theory Data types Generic programming Haskell Type system Type class Enumerated type C Glasgow Haskell Compiler Software engineering Programming language theory Computing